<tool command="boom" envar="1">
	<row>
		<inputfile descr="input file" empty="0" color="#000000" hasgenfiles="1" hasdirfiles="1" hasprjfiles="1" editable="1" type="isinput"/>
		<outputfile descr="output file" empty="0" color="#000000" editable="1" addtogenfiles="1" type="isoutput"/>
	</row>
	<row>
		<note descr="* the input and output files must have extension" color="#FF0000"/>
	</row>	
	<options>
		<option opt="-V" descr="Sets verbose mode on"/>
		<option opt="-T" descr="Sets trace and verbose modes on"/>
		<option opt="-O" descr="Reverses initial Bdd variables order"/>
		<option opt="-A" descr="Keeps all auxiliary variables"/>
		<option opt="-P" descr="Uses a parameter file (Input_file_name.boom)"/>
		<option opt="-L" descr="Uses literal's number for surface estimation"/>
		<option opt="-l" descr="Optimization level [0-3] (default 0, low level)" empty="0" editable="0" args="0,1,2,3" defaultarg="0"/>
		<option opt="-d" descr="Delay optimization percent (default 0 %)" empty="0" editable="1"/>
		<option opt="-i" descr="Iteration count" empty="0" editable="1"/>
		<option opt="-a" descr="Amplitude" empty="0" editable="1"/>
		<option opt="-s" descr="(boolean optimization) Simulated annealing (default)"/>
		<option opt="-j" descr="(boolean optimization) Just do it algorithm"/>
		<option opt="-b" descr="(boolean optimization) Burgun algorithm"/>
		<option opt="-g" descr="(boolean optimization) Gradient algorithm"/>
		<option opt="-p" descr="(boolean optimization) Procrastination algorithm"/>
		<option opt="-w" descr="(boolean optimization) Window bdd reorder"/>
		<option opt="-t" descr="(boolean optimization) Top bdd reorder"/>
		<option opt="-m" descr="(boolean optimization) Simple bdd reorder"/>
		<option opt="-o" descr="(boolean optimization) One pass (faster algorithm)"/>
		<option opt="-r" descr="(boolean optimization) Random bdd reorder"/>
		<option opt="-n" descr="(boolean optimization) No optimization algorithm"/>
	</options>
	<command value="command options inputfile outputfile"/>
</tool>
